xen-hvmctx: add recently added gtsc_khz field to output

Signed-off-by: Dan Magenheimer <dan.magenheimer@oracle.com>

diff --git a/tools/misc/xen-hvmctx.c b/tools/misc/xen-hvmctx.c
index 142ef2a41d8dd57db8f932adf66620bedff951cb..00566942677bfff14f13d1a4b86ad7fa678d9121 100644 (file)
--- a/tools/misc/xen-hvmctx.c
+++ b/tools/misc/xen-hvmctx.c
@@ -73,6 +73,7 @@ static void dump_header(void)
     printf("             Xen changeset %llx\n", 
            (unsigned long long) h.changeset);
     printf("             CPUID[0][%%eax] 0x%.8lx\n", (unsigned long) h.cpuid);
+    printf("             gtsc_khz %lu\n", (unsigned long) h.gtsc_khz);
 }
 
 struct fpu_mm {